CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 2 of 2 Results
1.
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA,...
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA,... by Lahiri, Shuvendu K., Wang, ... ISBN: 9783030532901 List Price: $49.99
$42.25 (Save 15%)
2.
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA,...
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA,... by Lahiri, Shuvendu K., Wang, ... ISBN: 9783030532871 List Price: $49.99
$42.25 (Save 15%)